package folexpr.compiler.visitors.e_movequantahead;

import java.util.ArrayList;
import java.util.Collection;
import java.util.Iterator;

import folexpr.compiler.visitors.VisitResult;

public class QuantificationsAHeadVisitResult extends VisitResult 
{
	/**  Quantifications list = strings e.g. "forall X" */
	private Collection<String> quantifications;

	
	public QuantificationsAHeadVisitResult()
	{
		super();
		this.quantifications= new ArrayList<String>();
	}
	
	/////////////////////////////////////////////////////////////
	
	public Collection<String> getQuantifications() {
		return quantifications;
	}
	public void setQuantifications(Collection<String> quantifications) {
		this.quantifications = quantifications;
	}

	/////////////////////////////////////////////////////////////

	public void addQuantificationList(Collection<String> quantifications){
		this.quantifications.addAll(quantifications);
	}
	
	public void addSingleQuantification(String quantification){
		this.quantifications.add(quantification);
	}
	
	public String dumpQuantificationListStringImage(){
		String result="";
		Iterator i = this.getQuantifications().iterator();
		
		while (i.hasNext())
		{
			String quantificationImage = (String)i.next();
			result = result + quantificationImage;
		}	
		return result;
	}
	
}
